Regular Expression Matching and Operational Semantics

Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a deterministic finite automaton, such implementations typically match the regular expression on the fly. Thus they can be seen as virtual machines interpreting the regular expression much as if it were a program with some non-deterministic constructs such as the Kleene star. We formalize this implementation technique for regular expression matching using operational semantics. Specifically, we derive a series of abstract machines, moving from the abstract definition of matching to increasingly realistic machines. First a continuation is added to the operational semantics to describe what remains to be matched after the current expression. Next, we represent the expression as a data structure using pointers, which enables redundant searches to be eliminated via testing for pointer equality. From there, we arrive both at Thompson's lockstep construction and a machine that performs some operations in parallel, suitable for implementation on a large number of cores, such as a GPU. We formalize the parallel machine using process algebra and report some preliminary experiments with an implementation on a graphics processor using CUDA.Comment: In Proceedings SOS 2011, arXiv:1108.279

Oncoplastic Breast Consortium consensus conference on nipple-sparing mastectomy

Purpose Indications for nipple-sparing mastectomy (NSM) have broadened to include the risk reducing setting and locally advanced tumors, which resulted in a dramatic increase in the use of NSM. The Oncoplastic Breast Consortium consensus conference on NSM and immediate reconstruction was held to address a variety of questions in clinical practice and research based on published evidence and expert panel opinion. Methods The panel consisted of 44 breast surgeons from 14 countries across four continents with a background in gynecology, general or reconstructive surgery and a practice dedicated to breast cancer, as well as a patient advocate. Panelists presented evidence summaries relating to each topic for debate during the in-person consensus conference. The iterative process in question development, voting, and wording of the recommendations followed the modified Delphi methodology. Results Consensus recommendations were reached in 35, majority recommendations in 24, and no recommendations in the remaining 12 questions. The panel acknowledged the need for standardization of various aspects of NSM and immediate reconstruction. It endorsed several oncological contraindications to the preservation of the skin and nipple. Furthermore, it recommended inclusion of patients in prospective registries and routine assessment of patient-reported outcomes. Considerable heterogeneity in breast reconstruction practice became obvious during the conference. Conclusions In case of conflicting or missing evidence to guide treatment, the consensus conference revealed substantial disagreement in expert panel opinion, which, among others, supports the need for a randomized trial to evaluate the safest and most efficacious reconstruction techniques

Cutaneous collateral axonal sprouting re-innervates the skin component and restores sensation of denervated Swine osteomyocutaneous alloflaps.

PMC3799840Reconstructive transplantation such as extremity and face transplantation is a viable treatment option for select patients with devastating tissue loss. Sensorimotor recovery is a critical determinant of overall success of such transplants. Although motor function recovery has been extensively studied, mechanisms of sensory re-innervation are not well established. Recent clinical reports of face transplants confirm progressive sensory improvement even in cases where optimal repair of sensory nerves was not achieved. Two forms of sensory nerve regeneration are known. In regenerative sprouting, axonal outgrowth occurs from the transected nerve stump while in collateral sprouting, reinnervation of denervated tissue occurs through growth of uninjured axons into the denervated tissue. The latter mechanism may be more important in settings where transected sensory nerves cannot be re-apposed. In this study, denervated osteomyocutaneous alloflaps (hind- limb transplants) from Major Histocompatibility Complex (MHC)-defined MGH miniature swine were performed to specifically evaluate collateral axonal sprouting for cutaneous sensory re-innervation. The skin component of the flap was externalized and serial skin sections extending from native skin to the grafted flap were biopsied. In order to visualize regenerating axonal structures in the dermis and epidermis, 50 um frozen sections were immunostained against axonal and Schwann cell markers. In all alloflaps, collateral axonal sprouts from adjacent recipient skin extended into the denervated skin component along the dermal-epidermal junction from the periphery towards the center. On day 100 post-transplant, regenerating sprouts reached 0.5 cm into the flap centripetally. Eight months following transplant, epidermal fibers were visualized 1.5 cm from the margin (rate of regeneration 0.06 mm per day). All animals had pinprick sensation in the periphery of the transplanted skin within 3 months post-transplant. Restoration of sensory input through collateral axonal sprouting can revive interaction with the environment; restore defense mechanisms and aid in cortical re-integration of vascularized composite allografts.JH Libraries Open Access Fun

Oncoplastic Breast Consortium consensus conference on nipple-sparing mastectomy.

Purpose Indications for nipple-sparing mastectomy (NSM) have broadened to include the risk reducing setting and locally advanced tumors, which resulted in a dramatic increase in the use of NSM. The Oncoplastic Breast Consortium consensus conference on NSM and immediate reconstruction was held to address a variety of questions in clinical practice and research based on published evidence and expert panel opinion. Methods The panel consisted of 44 breast surgeons from 14 countries across four continents with a background in gynecology, general or reconstructive surgery and a practice dedicated to breast cancer, as well as a patient advocate. Panelists presented evidence summaries relating to each topic for debate during the in-person consensus conference. The iterative process in question development, voting, and wording of the recommendations followed the modified Delphi methodology. Results Consensus recommendations were reached in 35, majority recommendations in 24, and no recommendations in the remaining 12 questions. The panel acknowledged the need for standardization of various aspects of NSM and immediate reconstruction. It endorsed several oncological contraindications to the preservation of the skin and nipple. Furthermore, it recommended inclusion of patients in prospective registries and routine assessment of patient-reported outcomes. Considerable heterogeneity in breast reconstruction practice became obvious during the conference. Conclusions In case of conflicting or missing evidence to guide treatment, the consensus conference revealed substantial disagreement in expert panel opinion, which, among others, supports the need for a randomized trial to evaluate the safest and most efficacious reconstruction techniques

A generalization of jumps and labels

Abstract. This paper describes a new language feature that is a hybrid of labels and procedures. It is closely related to jumping out of a functional subroutine, and includes conventional labels and jumping as a special, but probably not most useful, case. It is independent of assignment, i.e., it can be added to a “purely-functional” (“non-imperative”) system (such as lisp without pseudo-functions or program feature). Experiments in purely functional programming suggest that its main use will be in success/failure situations, and failure actions. This innovation is incorporated in the projected experimental system, iswim. Keywords: “Explaining to programmers the logical structure of programming languages is like a cat explaining to a fish what it feels like to be wet”—Gorn